پیامدهای فلسفی قضایای گودل
Authors
abstract
در این مقاله ، تاثیرات قضایای ناتمامیت اول و دوم گودل ، پس از تبیینی کوتاه ، در برخی فلسفه های مضاف ، از جمله فلسفه ی ریاضیات و فلسفه ی ذهن ، و نیز بر علیه مادی گرایی و پوزیتیویسم مورد بررسی و تحلیل قرار گرفته است. تاثیر قضایای گودل در فلسفه ی ریاضیات ، در سه حوزة منطق گرایی ، صورت گرایی و سرشت برهان بررسی شده است. در حوزه ی فلسفه ی ذهن ، به تاثیر قضایای گودل در براهین ضد ماشین انگار اشاره شده است.
similar resources
قضیه ناتمامیت گودل و پیامدهای فلسفی آن
ابتدا با عنوان "مقدمات قضایای ناتمامیت گودل" ، تعاریفی از بیان پذیری ، نمایش پذیری ، محاسبه پذیری ، توابع بازگشتی اولیه ، توابع بازگشتی ، تابع مشخصه و چند تابع مهم دیگر که در اثبات لم نقطه ثابت مورد نیاز است ، ارائه خواهد شد . سپس با بررسی این توابع ، هم ارزی رابطه بین بازگشتی و بیان پذیری مطرح می شود . در فصل اول ،اصول موضوعه دستگاه های نظریه صوری اعداد حساب و نظریه مجموعه ها ، معرفی ؛ وتلاش ه...
آیا قضایای ناتمامیت گودل را میتوان در مکانیک کوانتومی بهکاربرد؟
مکانیک کوانتومی نظریه ای است که ساختار فکری بشر را دگرگون کرد. اما با وجود موفقیت ها ی زیاد آن از زمان اینشتین تاکنون عده ای در مورد کامل بودن آن دارای شک ، تردید و شبهه هستند. یکی از راه هایی که عده ای کامل بودن این نظریه را مورد تردید قرار می دهند قضایای ناتمامیت گودل است. کورت گودل در دوران دکترا و اندکی پس از تحقیق در مورد برنامه های تمامیت و سازگاری هیلبرت در سیستم های صوری، به اثبات دو ق...
full textقضایای ناتمامیت گودل و راسر
در این پایاننامه، اثبات های جدیدی از قضیه ناتمامیت که در دهه 1990 به دست آمده اند، ارایه می شود، به طوری که در آن ها از لم قطری سازی برای ساختن یک جمله مستقل استفاده نمی شود.
استدلالِ هستیشناسیکِ گودل
کورت گودل در فوریة ۱۹۷۰ با دِینا اسکات دربارة استدلال هستیشناسیک خود به بحث نشست و اسکات در پاییز همان سال روایتی تاحدی متفاوت از آن را در سمیناری در دانشگاه پرینستون ارائه کرد. نظام منطقی استدلال، منطق موجهات مرتبة دوم در نظام S5 است، با اینهمانی و یک اصل انتزاع ویژگیها. به شرط پذیرش نظام منطقی، نتیجة گودل، اینکه ضرورتاً موجودی خدای ـ گونه وجود دارد ( ) از مقدمات به دست میآی...
full textMy Resources
Save resource for easier access later
Journal title:
پژوهشنامه فلسفه دین (نامه حکمت)Publisher: دانشگاه امام صادق (ع)
ISSN 2228-6578
volume 2
issue 2 2012
Hosted on Doprax cloud platform doprax.com
copyright © 2015-2023